For a set theoretical solution of the Yang-Baxter equation $(X,\sigma)$, wedefine a d.g. bialgebra $B=B(X,\sigma)$, containing the semigroup algebra$A=k\{X\}/\langle xy=zt : \sigma(x,y)=(z,t)\rangle$, such that $k\otimes_AB\otimes_Ak$ and $\mathrm{Hom}_{A-A}(B,k)$ are respectively the homology andcohomology complexes computing biquandle homology and cohomology defined in\cite{CJKS} and other generalizations of cohomology of rack-quanlde case (forexample defined in \cite{CES}). This algebraic structure allow us to show theexistence of an associative product in the cohomology of biquandles, and acomparison map with Hochschild (co)homology of the algebra $A$.
展开▼
机译:对于Yang-Baxter方程$(X,\ sigma)$的一组理论解,我们定义一个d.g. bialgebra $ B = B(X,\ sigma)$,包含半群代数$ A = k \ {X \} / \ langle xy = zt:\ sigma(x,y)=(z,t)\ rangle $,这样$ k \ otimes_AB \ otimes_Ak $和$ \ mathrm {Hom} _ {AA}(B,k)$分别是计算\ cite {CJKS}中定义的双量子同源性和同调性的同源性和同源性复合体,以及机架式大小写(例如,在\ cite {CES}中定义)。这种代数结构使我们能够证明双量子的同调性中一个乘积的存在,并与代数$ A $的Hochschild(共)同调性进行比较。
展开▼